An Evaluative Technique for Categorical Maps

Knowledge maps: An essential technique for conceptualisation

The process of conceptualisation is a fundamental problem-solving activity and, hence, is an essential activity for solving the problem of software systems construction. This paper ®rst analyses the process of conceptualisation generally, that is, not as applied speci®cally to software systems, and establishes a general-purpose conceptualisation process, composed of three activities: analysis, ...

Modelling Cartographic Relations for Categorical Maps

Map generalisation seeks to maintain important map objects, patterns, and relationships, while suppressing unimportant ones. Hence, the spatial and semantic characteristics of map objects as well as the relations existing between them have to be detected, preserved and exploited for generalisation. Two main groups of relations can be differentiated: Horizontal relations exist on the same level ...

An Extension of Self-organizing Maps to Categorical Data

Self-organizing maps (SOM) have been recognized as a powerful tool in data exploratoration, especially for the tasks of clustering on high dimensional data. However, clustering on categorical data is still a challenge for SOM. This paper aims to extend standard SOM to handle feature values of categorical type. A batch SOM algorithm (NCSOM) is presented concerning the dissimilarity measure and u...

An Application of Open Maps to Categorical Logic

This paper is a sequel to [12]. We are here concerned with properties of theories in full first-order intuitionistic logic; the latter correspond under the identification of theories with categories provided by categorical logic (cf. [8] or [ 1 l]), to Heyting pretoposes, i.e. pretoposes with universal quantification of subobjects along morphisms. Using the lattice-theoretic machinery developed...

Population-based spot maps: an epidemiologic technique.